Sfoglia per Rivista LECTURE NOTES IN COMPUTER SCIENCE
A Foundation for Runtime Monitoring
2017-01-01 Francalanza, A; Aceto, L; Achilleos, A; Attard, D P; Cassar, I; Della Monica, D; Ingólfsdóttir, A
A Framework for Parameterized Monitorability.
2018-01-01 Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A
Fully Dynamic Maintenance of Arc-Flags in Road Networks
2012-01-01 D'Angelo, Gianlorenzo; M., D'Emidio; D., Frigioni; and C., Vitale
Gathering and exclusive searching on rings under minimal assumptions
2014-01-01 D'Angelo, G; Navarra, A.; Nisse, N.
Gathering of Robots on Anonymous Grids without multiplicity detection
2012-01-01 D'Angelo, Gianlorenzo; G., Di Stefano; R., Klasing; and A., Navarra
Gathering of Six Robots on Anonymous Symmetric Rings
2011-01-01 D'Angelo, Gianlorenzo; G., Di Stefano; and A., Navarra
Greedily improving our own centrality in a network
2015-01-01 Crescenzi, P.; D'Angelo, G; Severini, L.; Velaj, Y.
How to Gather Asynchronous Oblivious Robots on Anonymous Rings
2012-01-01 D'Angelo, G; Di Stefano, Gabriele; Navarra, Alfredo
Logical Characterisations and Compositionality of Input-Output Conformance Simulation
2017-01-01 Aceto, L; Fábregas, I; Gregorio-Rodríguez, C; Ingólfsdóttir, A
Min-Max Coverage in Multi-Interface Networks
2011-01-01 D'Angelo, Gianlorenzo; G., Di Stefano; And, A. Navarra.
Minimizing the Maximum Duty for Connectivity in Multi-Interface Networks
2010-01-01 D'Angelo, Gianlorenzo; G., Di Stefano; and A., Navarra
Mixed-Criticality Scheduling of Sporadic Task Systems
2011-01-01 V. Bonifaci, S. Baruah; D'Angelo, G; A., Marchetti-Spaccamela; S. Van Der, Ster; L., Stougie
Mobile Network Creation Games
2012-01-01 Flammini, M; Gallotti, V; Melideo, G; Monaco, G; Moscardelli, L
Models, Algorithms, Logics and Tools — Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
2017-01-01 Aceto, L; Bacci, G; Bacci, G; Ingólfsdóttir, A; Legay, A; Mardare, R
Nash Stability in Fractional Hedonic Games
2014-01-01 Bilò, V.; Fanelli, A; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L.
On the Complexity of Determinizing Monitors
2017-01-01 Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A; Kjartansson, S
On the Complexity of the Regenerator Cost Problem in General Networks with Traffic Grooming
2011-01-01 Flammini, M; G., Monaco; L., Moscardelli; M., Shalom; S., Zaks
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders
2014-01-01 Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco,
On the Maximum Connectivity Improvement Problem
2019-01-01 Corò, F; D'Angelo, G; Pinotti, C. M.
On the Performances of Nash Equilibria in Isolation Games
2009-01-01 Bilò, V.; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Foundation for Runtime Monitoring | 1-gen-2017 | Francalanza, A; Aceto, L; Achilleos, A; Attard, D P; Cassar, I; Della Monica, D; Ingólfsdóttir, A | |
A Framework for Parameterized Monitorability. | 1-gen-2018 | Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A | |
Fully Dynamic Maintenance of Arc-Flags in Road Networks | 1-gen-2012 | D'Angelo, Gianlorenzo; M., D'Emidio; D., Frigioni; and C., Vitale | |
Gathering and exclusive searching on rings under minimal assumptions | 1-gen-2014 | D'Angelo, G; Navarra, A.; Nisse, N. | |
Gathering of Robots on Anonymous Grids without multiplicity detection | 1-gen-2012 | D'Angelo, Gianlorenzo; G., Di Stefano; R., Klasing; and A., Navarra | |
Gathering of Six Robots on Anonymous Symmetric Rings | 1-gen-2011 | D'Angelo, Gianlorenzo; G., Di Stefano; and A., Navarra | |
Greedily improving our own centrality in a network | 1-gen-2015 | Crescenzi, P.; D'Angelo, G; Severini, L.; Velaj, Y. | |
How to Gather Asynchronous Oblivious Robots on Anonymous Rings | 1-gen-2012 | D'Angelo, G; Di Stefano, Gabriele; Navarra, Alfredo | |
Logical Characterisations and Compositionality of Input-Output Conformance Simulation | 1-gen-2017 | Aceto, L; Fábregas, I; Gregorio-Rodríguez, C; Ingólfsdóttir, A | |
Min-Max Coverage in Multi-Interface Networks | 1-gen-2011 | D'Angelo, Gianlorenzo; G., Di Stefano; And, A. Navarra. | |
Minimizing the Maximum Duty for Connectivity in Multi-Interface Networks | 1-gen-2010 | D'Angelo, Gianlorenzo; G., Di Stefano; and A., Navarra | |
Mixed-Criticality Scheduling of Sporadic Task Systems | 1-gen-2011 | V. Bonifaci, S. Baruah; D'Angelo, G; A., Marchetti-Spaccamela; S. Van Der, Ster; L., Stougie | |
Mobile Network Creation Games | 1-gen-2012 | Flammini, M; Gallotti, V; Melideo, G; Monaco, G; Moscardelli, L | |
Models, Algorithms, Logics and Tools — Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday | 1-gen-2017 | Aceto, L; Bacci, G; Bacci, G; Ingólfsdóttir, A; Legay, A; Mardare, R | |
Nash Stability in Fractional Hedonic Games | 1-gen-2014 | Bilò, V.; Fanelli, A; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L. | |
On the Complexity of Determinizing Monitors | 1-gen-2017 | Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A; Kjartansson, S | |
On the Complexity of the Regenerator Cost Problem in General Networks with Traffic Grooming | 1-gen-2011 | Flammini, M; G., Monaco; L., Moscardelli; M., Shalom; S., Zaks | |
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders | 1-gen-2014 | Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco, | |
On the Maximum Connectivity Improvement Problem | 1-gen-2019 | Corò, F; D'Angelo, G; Pinotti, C. M. | |
On the Performances of Nash Equilibria in Isolation Games | 1-gen-2009 | Bilò, V.; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile